Normal form - PDFSEARCH.IO - Document Search Engine

Normal form
Results: 706

#	Item
241	Games and Economic Behavior–42 www.elsevier.com/locate/geb Sequential and quasi-perfect rationalizability in extensive games Geir B. Asheim a , Andrés Perea b,∗ Add to Reading List Source URL: folk.uio.no Language: English - Date: 2005-10-04 14:47:42 Extensive-form game Trembling hand perfect equilibrium Solution concept Conditioning Quasi-perfect equilibrium Normal-form game Rationalizability Belief revision Strategy Game theory Problem solving Sequential equilibrium
242	Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds∗ Yuval Filmus University of Toronto Massimo Lauria Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-05-06 19:14:13 Computational complexity theory Conjunctive normal form Proof complexity PP IP Polynomial Boolean algebra Frege system MAX-3SAT Theoretical computer science Applied mathematics Logic in computer science
243	Normalization Theory for XML Leonid Libkin1 School of Informatics, University of Edinburgh Abstract. Specifications of XML documents typically consist of typing Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-07-05 09:38:55 Data modeling Database theory Database constraints Technical communication Relational algebra Third normal form Database normalization Boyce–Codd normal form Relational model Computing Data management Data
244	From Small Space to Small Width in Resolution Yuval Filmus1 , Massimo Lauria2 , Mladen Mikša2 , Jakob Nordström2 , and Marc Vinyals2 1 2 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-01-09 15:51:16 Logic Logic in computer science Propositional calculus Rules of inference Logic programming Resolution Conjunctive normal form Unit propagation Proof complexity Theoretical computer science Automated theorem proving Mathematical logic
245	On the Boolean functions With Maximum Possible Algebraic Immunity : Construction and A Lower Bound of the Count Abstract. This paper gives a construction method which can get a large class of Boolean functions with maxim Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-04-07 22:30:07 Algebraic structures Boolean algebra E-function Number theory Algebraic normal form Degree of a continuous mapping Field Abstract algebra Mathematics Algebra
246	Security Buyers Survey Results Summary The Survey: 1. The security industry will move to some form of "lighter" or "smarter" regulation. Given this is so, would you prefer the security industry to remain regulated, or re Add to Reading List Source URL: www.ipsa.org.uk Language: English - Date: 2011-08-03 18:20:08 Measurement Summary statistics Standard error Standard deviation Variance Normal distribution Confidence interval Deviation Margin of error Statistics Data analysis Statistical inference
247	General Blotto: Games of Allocative Strategic Mismatch Russell Golman and Scott E. Page ∗ Add to Reading List Source URL: vserver1.cscs.lsa.umich.edu Language: English - Date: 2012-04-07 11:15:05 Economics Nash equilibrium Blotto Best response Normal-form game Strategy Strategic dominance Outcome Zero–sum game Game theory Problem solving Blotto games
248	Discovering State Invariants Fangzhen Lin Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-04-15 03:43:01 Model theory Group actions First-order logic Predicate logic Function Prenex normal form FO Emmy Noether Constructible universe Mathematics Mathematical logic Logic
249	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Model theory Predicate logic Skolem normal form Counterexample Free variables and bound variables Universal quantification Function American English Mathematics Logic Mathematical logic
250	First-Order Theorem Proving and VAMPIRE? Laura Kov´acs1 and Andrei Voronkov2 1 Chalmers University of Technology 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-05-02 16:51:41 Logical syntax Automated theorem proving Formal languages Formal methods Vampire Resolution Conjunctive normal form E theorem prover First-order logic Logic Mathematics Mathematical logic

UPDATE